Mechanical theorem proving 释义与例句英语词汇详解

🧩 词语组成解析

mechanical [mɪ'kænɪkəl]

adj. 机械的，机械学的;呆板的;体力的;手工操作的;

mechan(machine)+ical(形容词后缀)→机械的；呆板的

theorem ['θiərəm]

n. [数] 定理;（能证明的）一般原理，公理，定律，法则;

theor考虑 + em获得→考虑后获得的结果 → n.[数]定理, 法则

proving

[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)

My grandfather is very much alive and kicking.

我的祖父还健在。

Mr. President, ladies and gentlemen, and all the distinguished guests.

主席先生，女生们先生们，各位贵宾们。

I like it a lot.

我很喜欢。

更多情景英语 ›

madit

mamma aberrans

Matildawaltzer

meletin

mercury ethide

microutherford

mmcp

Moccador